Logic and relativity theory

István Németi, together with Hajnal Andréka founded and lead the Hungarian logic and relativity school. They havemade numerous significant contributions both in logic and in relativity theory and in their interconnections. To celebrate their contributions, on the occasion of István’s 70th birthday, a series of conferences focusing on logic and relativity theory, and beyond, was inaugurated by The First International Conference on Logic and Relativity (2012). The aim of this conference series is to bring together mathematicians, physicists, philosophers of science, logicians and computer scientists from all over the world to exchange and debate new ideas, problems and results in this area. This special issue collects together some of the papers presented at this inaugural logic and relativity conference. The axiomatic roots of relativity theory go back to the birth of special relativity Einstein 1905; Reichenbach 1924, andmany logic-based formal axiomatic approaches have since been developed for both the special and general theories (see, e.g., Andréka et al. 2006 and references therein). The study of axiomatic foundations for relativity theories is still evolving and active, and not only has logic been applied to relativity, but also in the other direction relativity theory is being applied to logic. In particular, one intensively investigated and rapidly developing research area at the borderline of logic and relativity is relativistic computation. Like quantum computation, relativistic computation uses predictions of a physical theory tomotivatemore powerfulmodels of computation.While quantumcomputation uses such features of quantum theory as superposition and entanglement to enhance the power of computers, relativistic computation exploits the prediction of relativity